\magnification\magstep1
\raggedright    \rightskip0pt plus4em
\hyphenpenalty=250
\parskip=\medskipamount
\parindent0pt
\def\newline{\hfil\break}
\def\group#1{\par\penalty-100\medskip{\bf #1:}\par\penalty10000}
\def\subgroup#1{\par\penalty-100{\bf #1:}\par\penalty10000}
\def\time#1{\par\hangindent1.25in\noindent\hbox to 1.25in{#1\hfil}\ignorespaces}
\font \big=cmbx10 scaled \magstep1

\halign{#\hfil\hskip1truein&#\hfil\cr
\big Arthur M. Keller\cr
%Stanford University\cr
%Computer Science Dept.\cr
%Stanford, CA  94305\cr
%415/723-0685\cr}
1075A Tanland Drive\cr
Palo Alto, CA  94303-3739\cr
415/424-1133\cr}


\group{Research Interests}
Databases, distributed systems, office automation, computerized
typesetting.

\group{Education}
Brooklyn College (City University of New York).\newline
BS, {\sl summa cum laude}, (2/77) with departmental honors in Mathematics and in
Computer and Information Science.

Stanford University.\newline
MS (6/79) in Computer Science.\newline
PhD (2/85) in Computer Science.\newline
Thesis topic: Updating Relational Databases Through Views.

\group{Professional Experience}

\time{1974 to 1977}Systems Analyst.
Computer Center,  Brooklyn College (CUNY),  Brooklyn, NY.

\time{1977}Instructor, ``Computers and Society.''
Computer and Information Science Department, Brooklyn College.

\time{1977 to 1985}Research Assistant.
Computer Science Department, Stanford University.

\time{1979, 1980, 1981}Instructor, ``Introduction to Computing.''
Computer Science Department, Stanford University.

\time{1980}Summer Research Assistant.
IBM, Thomas J. Watson Research Center, Yorktown Heights, NY.

\time{1981}Academic Associate.
IBM, San Jose Research Laboratory, San Jose, CA.

\time{1982}Acting Assistant Chairman.
Computer Science Department, Stanford University.

\time{1985}Research Associate.
Computer Science Department, Stanford University.

\time{1985 to present}Assistant Professor.
Department of Computer Sciences, University of Texas at Austin.

\time{1987 to present}Visiting Assistant Professor.
Computer Science Department, Stanford University.

\group{Courses Taught}
\time{Spring 1977}Computers and Society, Brooklyn College.
\time{Summer 1979}Introduction to Computing, Stanford University.
\time{Winter 1980}Introduction to Computing, Stanford University.
\time{Winter 1981}Introduction to Computing, Stanford University.
\time{Summer 1984}An Intensive Introduction to \TeX, \TeX\ Users Group.
\time{Summer 1985}An Intensive Introduction to \TeX, \TeX\ Users Group.
\time{Fall 1985}Data Management, Univ.\ of Texas at Austin.
\time{Spring 1986}Database Interfaces (Advanced Graduate Course), Univ.\ of Texas at Austin.
\time{Fall 1986}Database Management (Graduate Course), Univ.\ of Texas at Austin.
\time{Spring 1987}Data Management, Univ.\ of Texas at Austin.

\group{Honors}
Best Student Paper, IEEE Computer Data Engineering Conference (1984);
George Forsythe Memorial Award for Excellence in Student Teaching,
Stanford University Computer Science Dept. (1981-82);
President, Brooklyn College Chapter, Pi Mu Epsilon (1976-77);
Top score at Brooklyn College on Putnam Exam (1976);
Institutional Member Nominee by Brooklyn College to American Mathematical
Society (1976).

\group{Scholarships}
\time{1973 to 1977}New York State Regents Scholarship.
\time{1977 to 1980}National Science Foundation Graduate Fellowship.

\group{Professional Societies}
Association for Computing Machinery,
Institute for Electrical and Electronics Engineers,
IEEE Computer Society Technical Committee on
\TeX\ Users Group (International Coordinator),
Sigma Xi.

\group{Committee Memberships and Assignments}
Tuition Task Force, Brooklyn College, 1976--77;\newline
Visitors Committee, Computer Science Dept., Stanford Univ., 1977--78;\newline
Student Advisor, Computer Science Dept., Stanford Univ., 1978--85;\newline
Odd Jobs Chairman, Computer Science Dept., Stanford Univ., 1979--80;\newline
Prancing Pony Cooperative (runs a computerized vending machine),
        Financial Manager, Computer Science Dept.,
        Stanford Univ., 1980--85;\newline
Computer Facilities Committee, Computer Science Dept., Stanford Univ.,
        1978--79, 1981--83;\newline
Curriculum Committee, Computer Science Dept., Stanford Univ.,
        1982--83;\newline
Systems Qualifying Exam Committee, Computer Science Dept., Stanford Univ.,
        1983;\newline
LOTS Computer Facility Liaison, Stanford Univ., 1983--84;\newline
Honor Code Commission, chairman 1984--85, Stanford Univ., 1983--85;\newline
Prospective Student Committee, Computer Science Dept., Stanford Univ.,
        1983--84;\newline
Finance Committee, \TeX\ Users Group, 1983--85;\newline
Committee of Fifteen, Stanford Univ., 1984--85;\newline
Office Assignments, Computer Science Dept., Stanford Univ., 1982--83, 1984--85;\newline
Publisher, {\sl California YumYum}, a restaurant guide of the Prancing
        Pony, 1984--85;\newline
Question Submission, Computer Science Graduate Record Exam, Educational
        Testing Service, 1984;\newline
Program Committee, Int.\ Conf.\ on Data Engineering,
        IEEE Computer Society, February 5--7, 1986;\newline
International Coordinator, and Steering Committee, \TeX\ Users Group,
        1985--present;\newline
Undergraduate Studies, Computer Sciences Dept., University of Texas at
        Austin, 1985--86;\newline
Colloquia, Computer Sciences Dept., University of Texas at
        Austin, 1985--86;\newline
Undergraduate Appeals, Computer Sciences Dept., University of Texas at
        Austin, 1985--86;\newline
Program Committee,  Int.\ Conf.\ on Data Engineering,
        IEEE Computer Society, February 3--5, 1987;\newline
Vice Chair, IEEE Computer Society Technical Committee on Data Base Engineering,
        1986--1987;\newline
Colloquia, Chairman, Computer Sciences Dept., University of Texas at
        Austin, 1986--87;\newline
Masters Degree Committee, Computer Science Dept., Stanford University,
        1987--88;\newline
Doctoral Degree Committee, Computer Science Dept., Stanford University,
        1987.

\group{Personal Information}
\time{Born}14 January 1957, Brooklyn, NY.
\time{Marital Status}Single.

\group{Personal Interests}
Chorus member of five Gilbert and Sullivan operettas, hiking and camping,
theater, travel.

\group{Publications}

\subgroup{Books}

{\sl A First Course in Computer Programming Using PASCAL}, McGraw-Hill, New
York, June 1982, xiii$+$306pp.
Also, International Student Edition, 1985.

{\sl Programaci\'on en PASCAL}, McGraw-Hill, Madrid, 1983, Spanish translation
of {\sl A First Course in Computer Programming Using PASCAL}
Gonzalo Le\'on Serrano, Jos\'e Mar\'\i a Vela Berm\'udez, and
Antonio Vaquero S\'anchez, xiii$+$304pp.

{\sl Programmare in PASCAL}, Zanichelli, Bologna, Italy, October 1983,
Italian translation of {\sl A First Course in Computer Programming Using
PASCAL} by Giovanni Canzii and Anna Pilenga, ix$+$294pp.

{\sl Instructor's Manual for A First Course in Computer Programming Using
PASCAL}, McGraw-Hill, New York, January 1984, viii$+$216pp.

{\sl Un premier cours de programmation en Pascal}, McGraw-Hill \'Editeurs,
Montr\'eal, Qu\'ebec, Canada, Summer 1985,
French translation of {\sl A First Course in Computer Programming Using
PASCAL} by Jacques Beaudry, Claude Goutier, and Francine Ouellette,
xii$+$367pp.

\subgroup{Book Chapters}

``Typesetting by Authors,'' {\sl \TeX\ for Scientific Documentation},
Dario Lucarella, ed., Addison-Wesley, 1985, pp.~1--14.

``Updates to Relational Databases Through Views Involving Joins,'' {\sl
Improving Database Usability and Responsiveness}, Peter Scheuermann, ed.,
Academic Press, New York, 1982, pp.~363--384.  Refereed.

\subgroup{Journal Articles}

``Comments on Bancilhon and Spyratos'
`Update Semantics and Relational Views'$\,$''
 {\sl ACM Trans.\ on Database Systems}, {\bf 12}:3, September 1987.

``Set-Theoretic Problems of Null Completion in Relational Databases,''
{\sl Information Processing Letters}, {\bf 22}:5, 28 April 1986,
pp.~261--265.

``The Role of Semantics in Translating View Updates,''
{\sl IEEE Computer}, {\bf 19}:1, January 1986, pp.~63--73.

``On the Use of an Extended Relational Model to Handle Changing Incomplete
Information,'' with Marianne Winslett Wilkins, IEEE {\sl Trans.\
on Software Eng.}, {\bf SE-11}:7, July 1985, pp.~620--633.

\subgroup{Publications in Refereed Proceedings}

``Unifying Database and Programming Language Concepts Using the Object Model''
(extended abstract),
{\sl Int.\ Workshop on Object-Oriented Database Systems},
IEEE Computer Society, Pacific Grove, CA, September 1986.

``Choosing a View Update Translator by Dialog at View Definition Time,''
{\sl 12th Int. Conf. on Very Large Data Bases},
Kyoto, Japan, August 1986, pp.~467--474.

``Framework for the Security Component of an Ada DBMS'' (extended abstract),
with David Spooner, Gio Wiederhold, John Salasin, and Deborah Heystek,
{\sl 12th Int. Conf. on Very Large Data Bases},
Kyoto, Japan, August 1986, pp.~347--354.
Also {\sl Proc. National Computer Security Center Invitational Workshop
on Database Security}, Baltimore, June 1986, 10~pp.

``Reference Model for Ada Interfaces to Database Management Systems,''
with Fred Friedman, Gio Wiederhold, M.R. Berkowitz, John Salasin, and
David L. Spooner, {\sl Proc.\ 1986 IEEE Computer Society Data
Engineering Conference}, Los Angeles, February 1986, pp.~492--506.

``Algorithms for Translating View Updates to Database Updates for Views
Involving Selections, Projections, and Joins'' (extended abstract),
{\sl Proc.\ of Fourth ACM SIGACT-SIGMOD Symp.\ on Principles of Database
Systems}, March 1985, pp.~154--163.

``On Complementary and Independent Mappings on Databases,'' with Jeffrey
D.~Ullman, {\sl 1984 ACM-SIGMOD Int.\ Conf.\ on Management of Data},
Boston, June 1984, pp.~143--148.

``Approaches for Updating Databases With Incomplete Information and Nulls,''
with Marianne Winslett Wilkins, {\sl IEEE Computer Society Int.\
Conf.\ on Data Engineering}, Los Angeles, April 1984, pp.~332--340.

``Validating Updates Against the Structural Model,'' with G. Wiederhold, in
{\sl Proc.\ IEEE Computer Society's Symposium on Reliability in Distributed
Software and Database Systems}, Pittsburgh, July 1981.

``FLASH: A Language-Independent, Portable File System,'' with G. Wiederhold
and J. Allchin, {\sl Proc.\ ACM-SIGMOD 1980 Int.\ Conf.\ Management of Data},
Santa Monica, May 1980, pp.~151--156.

\subgroup{Other Publications}

``A Reliable and Deadlock-Free Multi-Indexed B$↑+$-Tree,'' Report TR-86-19,
Dept.\ of Computer Sciences, Univ.\ of Texas at Austin, July 1986, 17pp.

``Modularization of an Ada Database System,'' with Gio Wiederhold,
Sham Navathe, David Spooner, Mike Berkowitz, Bill Brykczynski, and
John Salasin, {\sl International
pre-VLDB Symposium}, Beijing, China, August 1986, pp.~202--232.
Also extended abstract presented at {\sl Advanced Database Symposium},
Information Processing Society of Japan, Tokyo, August 1986, pp.~135--142.

``Computer Science Comprehensive Examinations 1981/82--1984/85,''
editor, by the faculty and students of the Computer Science Department of
Stanford University, Report STAN-CS-85-1062, August 1985.

``Updating Relational Databases Through Views,'' Ph.D. dissertation,
Stanford University, Computer Science Dept., Report STAN-CS-85-1040,
February 1985.

``Databases: The Key to Organizing and Sharing Information,'' {\sl CIS
Newsletter}, Stanford Univ., June 1984.

``Updates to Relational Databases Through Views Involving Joins,'' IBM
Research Report RJ3282, IBM Research Laboratory, San Jose, CA, October
1981.

``Anatomy of a \TeX\ Macro Package,'' in TUGboat: The \TeX\ Users Group
Newsletter, American Mathematical Society, Providence, RI, {\bf 2}:1, February
1981, pp.~56--86.

``S-1 Linker,'' with G. Wiederhold, Stanford Univ.\ Digital Systems Lab,
Technical Note 147, November 1978.

\subgroup{Submitted for Publication}

``A Model for Asynchronous and Locally Autonomous Distributed Databases''
(extended abstract),
submitted for publication.
% IEEE workshop on Large Grained Parallelism, 7/86

``Indexed File Access for Ada,'' submitted for publication.
% submitted to special issue of T-SE on Ada 2/18/86

``Updating Relational Databases Through Union Views,''
submitted for publication.  % IPL, 6/86

``A Prototype View Update Translation Facility,'' with Laurel Harvey,
submitted for publication. %  7/10/86 to Data Eng Conf 2/87

\group{Conference Talks}

``FLASH: A Language-Independent, Portable File System,'' at ACM-SIGMOD 1980
Int.\ Conf.\ Management of Data, Santa Monica, May 15, 1980, refereed paper.

``Files in Ada,'' at ACM SIGPLAN Symposium on the Ada Programming Language,
Boston, December 10, 1980.

``Validating Updates Against the Structural Model,'' at IEEE Computer
Society's Symposium on Reliability in Distributed Software and Database
Systems, Pittsburgh, July 22, 1981, refereed paper.

``Efficacy of Replication in Distributed Databases,'' at ACM 81 National
Conf., Los Angeles, November 11, 1981.

``Updates to Relational Databases Through Views Involving Joins,'' at the
Second International Conference on Databases: Improving Usability and
Responsiveness, Jerusalem, June 23, 1982, refereed paper.

``On Complementary and Independent Mappings on Databases,'' at ACM-SIGMOD
1984 Int.\ Conf.\ on Management of Data, Boston, June 20, 1984, refereed
paper.

``Algorithms for Translating View Updates to Database Updates for Views
Involving Selections, Projections, and Joins,'' at Fourth ACM
SIGACT-SIGMOD Symp.\ on Principles of Database Systems, March 26, 1985,
refereed paper.

``Typesetting by Authors,'' {\sl \TeX\ for Scientific Documentation},
Como, Italy, May 16, 1985, invited keynote address.

``Are Views Useful for Database Security,'' on panel on Database
Security at 1986 IEEE Computer Society Int.\ Conf.\ on Data Engineering,
Los Angeles, February 7, 1986, invited talk.

``Framework for the Security Component of an Ada DBMS,'' at
12th Int.\ Conf.\ on Very Large Data Bases, Kyoto, Japan, August 27, 1986.

``Choosing a View Update Translator by Dialog at View Definition Time,''
at 12th Int.\ Conf.\ on Very Large Data Bases, Kyoto, Japan, August 28, 1986.

``Modularization of an Ada Database System,''
at Advanced Database Symposium,
Information Processing Society of Japan, Tokyo, Japan, August 29, 1986.

``Unifying Database and Programming Language Concepts Using the Object Model''
at Int.\ Workshop on Object-Oriented Database Systems,
Pacific Grove, CA,
September 25, 1986.

``Modularization of an Ada Database System,''
at Database 87 Colloquium,
San Diego, CA,
June 17, 1987.

``Databases and Mass Storage Systems,'' 4th Mass Storage Systems Specialists
Workshop, Boulder, CO, September 15, 1987.

``Databases for Project Management,''
Rockwell International Science Center,
Palo Alto, CA,
September 21, 1987.

\bye